Composition of Web Services : from Qualitative to Quantitative Timed Properties
Identifieur interne : 000D11 ( Main/Exploration ); précédent : 000D10; suivant : 000D12Composition of Web Services : from Qualitative to Quantitative Timed Properties
Auteurs : Nawal Guermouche [France] ; Claude Godart [France]Source :
Abstract
Dealing with service composition is an important and challenging issue of distributed systems. Existing works investigate mechanisms for analyzing and synthesizing a composition based on qualitative properties which characterize operations and/or messages choreography constraints. Apart from these qualitative properties, quantitative properties such as time related features are a crucial setting to consider. Augmenting service's behavior with timed properties increases the expressiveness and brings new difficult problems. This requires defining rigorous verification and composition primitives for taking into account such properties. In this chapter, we present a formal composition and verification approach which considers quantitative timed properties assigned to qualitative properties. The chapter starts with a general introduction. Then, it introduces the concepts related to timed Web services, timed conversations and protocols. The following section introduces the notion of composition of Web services with emphasis on the temporal dimension, and defines a formal composition approach. This approach relies on the generation of a mediator which aims surpassing timed conflicts. The next section presents validation primitives based on model checking techniques to verify and validate timed compositions. An implementation of the concepts previously introduced is then described. Before concluding with a larger consideration of time implication in Web services definition and composition, and with open issues, we present a study of the state of the art.
Url:
DOI: 10.1007/978-1-4614-7518-7_16
Affiliations:
Links toward previous steps (curation, corpus...)
- to stream Hal, to step Corpus: 001721
- to stream Hal, to step Curation: 001721
- to stream Hal, to step Checkpoint: 000C59
- to stream Main, to step Merge: 000D18
- to stream Main, to step Curation: 000D11
Le document en format XML
<record><TEI><teiHeader><fileDesc><titleStmt><title xml:lang="en">Composition of Web Services : from Qualitative to Quantitative Timed Properties</title><author><name sortKey="Guermouche, Nawal" sort="Guermouche, Nawal" uniqKey="Guermouche N" first="Nawal" last="Guermouche">Nawal Guermouche</name><affiliation wicri:level="1"><hal:affiliation type="researchteam" xml:id="struct-388967" status="VALID"><orgName>Équipe Services et Architectures pour Réseaux Avancés</orgName><orgName type="acronym">LAAS-SARA</orgName><desc><address><addrLine> </addrLine><country key="FR"></country></address><ref type="url">https://www.laas.fr/public/fr/sara</ref></desc><listRelation><relation active="#struct-459" type="direct"></relation><relation active="#struct-5030" type="indirect"></relation><relation active="#struct-116255" type="indirect"></relation><relation active="#struct-301232" type="indirect"></relation><relation active="#struct-217752" type="indirect"></relation><relation name="UPR8001" active="#struct-441569" type="indirect"></relation></listRelation><tutelles><tutelle active="#struct-459" type="direct"><org type="laboratory" xml:id="struct-459" status="VALID"><orgName>Laboratoire d'analyse et d'architecture des systèmes [Toulouse]</orgName><orgName type="acronym">LAAS</orgName><desc><address><addrLine>7 Av du colonel Roche 31077 TOULOUSE CEDEX 4</addrLine><country key="FR"></country></address><ref type="url">http://www.laas.fr</ref></desc><listRelation><relation active="#struct-5030" type="direct"></relation><relation active="#struct-116255" type="direct"></relation><relation active="#struct-301232" type="indirect"></relation><relation active="#struct-217752" type="direct"></relation><relation name="UPR8001" active="#struct-441569" type="direct"></relation></listRelation></org></tutelle><tutelle active="#struct-5030" type="indirect"><org type="institution" xml:id="struct-5030" status="VALID"><orgName>Institut National Polytechnique [Toulouse]</orgName><orgName type="acronym">INP</orgName><desc><address><addrLine>6 allée Émile Monso - BP 34038 - 31029 Toulouse cedex 4</addrLine><country key="FR"></country></address><ref type="url">http://www.inp-toulouse.fr/</ref></desc></org></tutelle><tutelle active="#struct-116255" type="indirect"><org type="department" xml:id="struct-116255" status="VALID"><orgName>Institut National des Sciences Appliquées - Toulouse</orgName><orgName type="acronym">INSA Toulouse</orgName><desc><address><addrLine>135, avenue de Rangueil - 31077 Toulouse cedex 4</addrLine><country key="FR"></country></address><ref type="url">http://www.insa-toulouse.fr</ref></desc><listRelation><relation active="#struct-301232" type="direct"></relation></listRelation></org></tutelle><tutelle active="#struct-301232" type="indirect"><org type="institution" xml:id="struct-301232" status="VALID"><orgName>Institut National des Sciences Appliquées</orgName><orgName type="acronym">INSA</orgName><desc><address><country key="FR"></country></address></desc></org></tutelle><tutelle active="#struct-217752" type="indirect"><org type="institution" xml:id="struct-217752" status="VALID"><orgName>Université Paul Sabatier - Toulouse 3</orgName><orgName type="acronym">UPS</orgName><desc><address><addrLine>118 route de Narbonne - 31062 Toulouse</addrLine><country key="FR"></country></address><ref type="url">http://www.univ-tlse3.fr/</ref></desc></org></tutelle><tutelle name="UPR8001" active="#struct-441569" type="indirect"><org type="institution" xml:id="struct-441569" status="VALID"><idno type="ISNI">0000000122597504</idno><idno type="IdRef">02636817X</idno><orgName>Centre National de la Recherche Scientifique</orgName><orgName type="acronym">CNRS</orgName><date type="start">1939-10-19</date><desc><address><country key="FR"></country></address><ref type="url">http://www.cnrs.fr/</ref></desc></org></tutelle></tutelles></hal:affiliation><country>France</country></affiliation></author><author><name sortKey="Godart, Claude" sort="Godart, Claude" uniqKey="Godart C" first="Claude" last="Godart">Claude Godart</name><affiliation wicri:level="1"><hal:affiliation type="researchteam" xml:id="struct-107894" status="OLD"><idno type="RNSR">200921239B</idno><orgName>Services and Cooperation</orgName><orgName type="acronym">SCORE</orgName><date type="end">2014-07-31</date><desc><address><country key="FR"></country></address><ref type="url">http://www.inria.fr/equipes/score</ref></desc><listRelation><relation active="#struct-129671" type="direct"></relation><relation active="#struct-300009" type="indirect"></relation><relation active="#struct-423085" type="direct"></relation><relation active="#struct-206040" type="indirect"></relation><relation active="#struct-413289" type="indirect"></relation><relation name="UMR7503" active="#struct-441569" type="indirect"></relation></listRelation><tutelles><tutelle active="#struct-129671" type="direct"><org type="laboratory" xml:id="struct-129671" status="VALID"><idno type="RNSR">198618246Y</idno><orgName>INRIA Nancy - Grand Est</orgName><desc><address><addrLine>615 rue du Jardin Botanique 54600 Villers-lès-Nancy</addrLine><country key="FR"></country></address><ref type="url">http://www.inria.fr/nancy</ref></desc><listRelation><relation active="#struct-300009" type="direct"></relation></listRelation></org></tutelle><tutelle active="#struct-300009" type="indirect"><org type="institution" xml:id="struct-300009" status="VALID"><orgName>Institut National de Recherche en Informatique et en Automatique</orgName><orgName type="acronym">Inria</orgName><desc><address><addrLine>Domaine de VoluceauRocquencourt - BP 10578153 Le Chesnay Cedex</addrLine><country key="FR"></country></address><ref type="url">http://www.inria.fr/en/</ref></desc></org></tutelle><tutelle active="#struct-423085" type="direct"><org type="department" xml:id="struct-423085" status="VALID"><orgName>Department of Networks, Systems and Services</orgName><orgName type="acronym">LORIA - NSS</orgName><desc><address><country key="FR"></country></address><ref type="url">http://www.loria.fr/la-recherche-en/departements/networks-systems-and-services</ref></desc><listRelation><relation active="#struct-206040" type="direct"></relation><relation active="#struct-300009" type="indirect"></relation><relation active="#struct-413289" type="indirect"></relation><relation name="UMR7503" active="#struct-441569" type="indirect"></relation></listRelation></org></tutelle><tutelle active="#struct-206040" type="indirect"><org type="laboratory" xml:id="struct-206040" status="VALID"><idno type="IdRef">067077927</idno><idno type="RNSR">198912571S</idno><idno type="IdUnivLorraine">[UL]RSI--</idno><orgName>Laboratoire Lorrain de Recherche en Informatique et ses Applications</orgName><orgName type="acronym">LORIA</orgName><date type="start">2012-01-01</date><desc><address><addrLine>Campus Scientifique BP 239 54506 Vandoeuvre-lès-Nancy Cedex</addrLine><country key="FR"></country></address><ref type="url">http://www.loria.fr</ref></desc><listRelation><relation active="#struct-300009" type="direct"></relation><relation active="#struct-413289" type="direct"></relation><relation name="UMR7503" active="#struct-441569" type="direct"></relation></listRelation></org></tutelle><tutelle active="#struct-413289" type="indirect"><org type="institution" xml:id="struct-413289" status="VALID"><idno type="IdRef">157040569</idno><idno type="IdUnivLorraine">[UL]100--</idno><orgName>Université de Lorraine</orgName><orgName type="acronym">UL</orgName><date type="start">2012-01-01</date><desc><address><addrLine>34 cours Léopold - CS 25233 - 54052 Nancy cedex</addrLine><country key="FR"></country></address><ref type="url">http://www.univ-lorraine.fr/</ref></desc></org></tutelle><tutelle name="UMR7503" active="#struct-441569" type="indirect"><org type="institution" xml:id="struct-441569" status="VALID"><idno type="ISNI">0000000122597504</idno><idno type="IdRef">02636817X</idno><orgName>Centre National de la Recherche Scientifique</orgName><orgName type="acronym">CNRS</orgName><date type="start">1939-10-19</date><desc><address><country key="FR"></country></address><ref type="url">http://www.cnrs.fr/</ref></desc></org></tutelle></tutelles></hal:affiliation><country>France</country><placeName><settlement type="city">Nancy</settlement><settlement type="city">Metz</settlement><region type="region" nuts="2">Grand Est</region><region type="old region" nuts="2">Lorraine (région)</region></placeName><orgName type="university">Université de Lorraine</orgName></affiliation></author></titleStmt><publicationStmt><idno type="wicri:source">HAL</idno><idno type="RBID">Hal:hal-00921395</idno><idno type="halId">hal-00921395</idno><idno type="halUri">https://hal.archives-ouvertes.fr/hal-00921395</idno><idno type="url">https://hal.archives-ouvertes.fr/hal-00921395</idno><idno type="doi">10.1007/978-1-4614-7518-7_16</idno><date when="2014-01-01">2014-01-01</date><idno type="wicri:Area/Hal/Corpus">001721</idno><idno type="wicri:Area/Hal/Curation">001721</idno><idno type="wicri:Area/Hal/Checkpoint">000C59</idno><idno type="wicri:explorRef" wicri:stream="Hal" wicri:step="Checkpoint">000C59</idno><idno type="wicri:Area/Main/Merge">000D18</idno><idno type="wicri:Area/Main/Curation">000D11</idno><idno type="wicri:Area/Main/Exploration">000D11</idno></publicationStmt><sourceDesc><biblStruct><analytic><title xml:lang="en">Composition of Web Services : from Qualitative to Quantitative Timed Properties</title><author><name sortKey="Guermouche, Nawal" sort="Guermouche, Nawal" uniqKey="Guermouche N" first="Nawal" last="Guermouche">Nawal Guermouche</name><affiliation wicri:level="1"><hal:affiliation type="researchteam" xml:id="struct-388967" status="VALID"><orgName>Équipe Services et Architectures pour Réseaux Avancés</orgName><orgName type="acronym">LAAS-SARA</orgName><desc><address><addrLine> </addrLine><country key="FR"></country></address><ref type="url">https://www.laas.fr/public/fr/sara</ref></desc><listRelation><relation active="#struct-459" type="direct"></relation><relation active="#struct-5030" type="indirect"></relation><relation active="#struct-116255" type="indirect"></relation><relation active="#struct-301232" type="indirect"></relation><relation active="#struct-217752" type="indirect"></relation><relation name="UPR8001" active="#struct-441569" type="indirect"></relation></listRelation><tutelles><tutelle active="#struct-459" type="direct"><org type="laboratory" xml:id="struct-459" status="VALID"><orgName>Laboratoire d'analyse et d'architecture des systèmes [Toulouse]</orgName><orgName type="acronym">LAAS</orgName><desc><address><addrLine>7 Av du colonel Roche 31077 TOULOUSE CEDEX 4</addrLine><country key="FR"></country></address><ref type="url">http://www.laas.fr</ref></desc><listRelation><relation active="#struct-5030" type="direct"></relation><relation active="#struct-116255" type="direct"></relation><relation active="#struct-301232" type="indirect"></relation><relation active="#struct-217752" type="direct"></relation><relation name="UPR8001" active="#struct-441569" type="direct"></relation></listRelation></org></tutelle><tutelle active="#struct-5030" type="indirect"><org type="institution" xml:id="struct-5030" status="VALID"><orgName>Institut National Polytechnique [Toulouse]</orgName><orgName type="acronym">INP</orgName><desc><address><addrLine>6 allée Émile Monso - BP 34038 - 31029 Toulouse cedex 4</addrLine><country key="FR"></country></address><ref type="url">http://www.inp-toulouse.fr/</ref></desc></org></tutelle><tutelle active="#struct-116255" type="indirect"><org type="department" xml:id="struct-116255" status="VALID"><orgName>Institut National des Sciences Appliquées - Toulouse</orgName><orgName type="acronym">INSA Toulouse</orgName><desc><address><addrLine>135, avenue de Rangueil - 31077 Toulouse cedex 4</addrLine><country key="FR"></country></address><ref type="url">http://www.insa-toulouse.fr</ref></desc><listRelation><relation active="#struct-301232" type="direct"></relation></listRelation></org></tutelle><tutelle active="#struct-301232" type="indirect"><org type="institution" xml:id="struct-301232" status="VALID"><orgName>Institut National des Sciences Appliquées</orgName><orgName type="acronym">INSA</orgName><desc><address><country key="FR"></country></address></desc></org></tutelle><tutelle active="#struct-217752" type="indirect"><org type="institution" xml:id="struct-217752" status="VALID"><orgName>Université Paul Sabatier - Toulouse 3</orgName><orgName type="acronym">UPS</orgName><desc><address><addrLine>118 route de Narbonne - 31062 Toulouse</addrLine><country key="FR"></country></address><ref type="url">http://www.univ-tlse3.fr/</ref></desc></org></tutelle><tutelle name="UPR8001" active="#struct-441569" type="indirect"><org type="institution" xml:id="struct-441569" status="VALID"><idno type="ISNI">0000000122597504</idno><idno type="IdRef">02636817X</idno><orgName>Centre National de la Recherche Scientifique</orgName><orgName type="acronym">CNRS</orgName><date type="start">1939-10-19</date><desc><address><country key="FR"></country></address><ref type="url">http://www.cnrs.fr/</ref></desc></org></tutelle></tutelles></hal:affiliation><country>France</country></affiliation></author><author><name sortKey="Godart, Claude" sort="Godart, Claude" uniqKey="Godart C" first="Claude" last="Godart">Claude Godart</name><affiliation wicri:level="1"><hal:affiliation type="researchteam" xml:id="struct-107894" status="OLD"><idno type="RNSR">200921239B</idno><orgName>Services and Cooperation</orgName><orgName type="acronym">SCORE</orgName><date type="end">2014-07-31</date><desc><address><country key="FR"></country></address><ref type="url">http://www.inria.fr/equipes/score</ref></desc><listRelation><relation active="#struct-129671" type="direct"></relation><relation active="#struct-300009" type="indirect"></relation><relation active="#struct-423085" type="direct"></relation><relation active="#struct-206040" type="indirect"></relation><relation active="#struct-413289" type="indirect"></relation><relation name="UMR7503" active="#struct-441569" type="indirect"></relation></listRelation><tutelles><tutelle active="#struct-129671" type="direct"><org type="laboratory" xml:id="struct-129671" status="VALID"><idno type="RNSR">198618246Y</idno><orgName>INRIA Nancy - Grand Est</orgName><desc><address><addrLine>615 rue du Jardin Botanique 54600 Villers-lès-Nancy</addrLine><country key="FR"></country></address><ref type="url">http://www.inria.fr/nancy</ref></desc><listRelation><relation active="#struct-300009" type="direct"></relation></listRelation></org></tutelle><tutelle active="#struct-300009" type="indirect"><org type="institution" xml:id="struct-300009" status="VALID"><orgName>Institut National de Recherche en Informatique et en Automatique</orgName><orgName type="acronym">Inria</orgName><desc><address><addrLine>Domaine de VoluceauRocquencourt - BP 10578153 Le Chesnay Cedex</addrLine><country key="FR"></country></address><ref type="url">http://www.inria.fr/en/</ref></desc></org></tutelle><tutelle active="#struct-423085" type="direct"><org type="department" xml:id="struct-423085" status="VALID"><orgName>Department of Networks, Systems and Services</orgName><orgName type="acronym">LORIA - NSS</orgName><desc><address><country key="FR"></country></address><ref type="url">http://www.loria.fr/la-recherche-en/departements/networks-systems-and-services</ref></desc><listRelation><relation active="#struct-206040" type="direct"></relation><relation active="#struct-300009" type="indirect"></relation><relation active="#struct-413289" type="indirect"></relation><relation name="UMR7503" active="#struct-441569" type="indirect"></relation></listRelation></org></tutelle><tutelle active="#struct-206040" type="indirect"><org type="laboratory" xml:id="struct-206040" status="VALID"><idno type="IdRef">067077927</idno><idno type="RNSR">198912571S</idno><idno type="IdUnivLorraine">[UL]RSI--</idno><orgName>Laboratoire Lorrain de Recherche en Informatique et ses Applications</orgName><orgName type="acronym">LORIA</orgName><date type="start">2012-01-01</date><desc><address><addrLine>Campus Scientifique BP 239 54506 Vandoeuvre-lès-Nancy Cedex</addrLine><country key="FR"></country></address><ref type="url">http://www.loria.fr</ref></desc><listRelation><relation active="#struct-300009" type="direct"></relation><relation active="#struct-413289" type="direct"></relation><relation name="UMR7503" active="#struct-441569" type="direct"></relation></listRelation></org></tutelle><tutelle active="#struct-413289" type="indirect"><org type="institution" xml:id="struct-413289" status="VALID"><idno type="IdRef">157040569</idno><idno type="IdUnivLorraine">[UL]100--</idno><orgName>Université de Lorraine</orgName><orgName type="acronym">UL</orgName><date type="start">2012-01-01</date><desc><address><addrLine>34 cours Léopold - CS 25233 - 54052 Nancy cedex</addrLine><country key="FR"></country></address><ref type="url">http://www.univ-lorraine.fr/</ref></desc></org></tutelle><tutelle name="UMR7503" active="#struct-441569" type="indirect"><org type="institution" xml:id="struct-441569" status="VALID"><idno type="ISNI">0000000122597504</idno><idno type="IdRef">02636817X</idno><orgName>Centre National de la Recherche Scientifique</orgName><orgName type="acronym">CNRS</orgName><date type="start">1939-10-19</date><desc><address><country key="FR"></country></address><ref type="url">http://www.cnrs.fr/</ref></desc></org></tutelle></tutelles></hal:affiliation><country>France</country><placeName><settlement type="city">Nancy</settlement><settlement type="city">Metz</settlement><region type="region" nuts="2">Grand Est</region><region type="old region" nuts="2">Lorraine (région)</region></placeName><orgName type="university">Université de Lorraine</orgName></affiliation></author></analytic><idno type="DOI">10.1007/978-1-4614-7518-7_16</idno></biblStruct></sourceDesc></fileDesc><profileDesc><textClass></textClass></profileDesc></teiHeader><front><div type="abstract" xml:lang="en">Dealing with service composition is an important and challenging issue of distributed systems. Existing works investigate mechanisms for analyzing and synthesizing a composition based on qualitative properties which characterize operations and/or messages choreography constraints. Apart from these qualitative properties, quantitative properties such as time related features are a crucial setting to consider. Augmenting service's behavior with timed properties increases the expressiveness and brings new difficult problems. This requires defining rigorous verification and composition primitives for taking into account such properties. In this chapter, we present a formal composition and verification approach which considers quantitative timed properties assigned to qualitative properties. The chapter starts with a general introduction. Then, it introduces the concepts related to timed Web services, timed conversations and protocols. The following section introduces the notion of composition of Web services with emphasis on the temporal dimension, and defines a formal composition approach. This approach relies on the generation of a mediator which aims surpassing timed conflicts. The next section presents validation primitives based on model checking techniques to verify and validate timed compositions. An implementation of the concepts previously introduced is then described. Before concluding with a larger consideration of time implication in Web services definition and composition, and with open issues, we present a study of the state of the art.</div></front></TEI><affiliations><list><country><li>France</li></country><region><li>Grand Est</li><li>Lorraine (région)</li></region><settlement><li>Metz</li><li>Nancy</li></settlement><orgName><li>Université de Lorraine</li></orgName></list><tree><country name="France"><noRegion><name sortKey="Guermouche, Nawal" sort="Guermouche, Nawal" uniqKey="Guermouche N" first="Nawal" last="Guermouche">Nawal Guermouche</name></noRegion><name sortKey="Godart, Claude" sort="Godart, Claude" uniqKey="Godart C" first="Claude" last="Godart">Claude Godart</name></country></tree></affiliations></record>Pour manipuler ce document sous Unix (Dilib)
EXPLOR_STEP=$WICRI_ROOT/Wicri/Lorraine/explor/InforLorV4/Data/Main/Exploration
HfdSelect -h $EXPLOR_STEP/biblio.hfd -nk 000D11 | SxmlIndent | more
Ou
HfdSelect -h $EXPLOR_AREA/Data/Main/Exploration/biblio.hfd -nk 000D11 | SxmlIndent | more
Pour mettre un lien sur cette page dans le réseau Wicri
{{Explor lien
|wiki= Wicri/Lorraine
|area= InforLorV4
|flux= Main
|étape= Exploration
|type= RBID
|clé= Hal:hal-00921395
|texte= Composition of Web Services : from Qualitative to Quantitative Timed Properties
}}
| This area was generated with Dilib version V0.6.33. |  |